Cách sử dụng hiện đại của thuật ngữ khoa học chính thức, trong văn học tiếng Anh, xuất hiện ít nhất là vào đầu năm 1860,[cần nguồn thứ cấp]trong một ấn phẩm di cảo các bài giảng về triết học của Sir William Hamilton, trong đó logic và toán học được liệt kê là các ngành khoa học hình thức.[1] Đi xa hơn nữa vào năm 1819, một cuốn sách giáo khoa bằng tiếng Đức về logic được xuất bản bởi Wilhelm Esser, làm sáng tỏ tầm quan trọng của việc chỉ định khoa học hình thức (Formalwissenschaft) áp dụng cho logic.[2]